منابع مشابه
Contracts in distributed systems
We present a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calculus features primitives for advertising contracts, for reaching agreements, and for querying the fulfilment of contracts. Coordination among principals happen...
متن کاملSupporting Business Contracts in Open Distributed Systems
Open distributed systems will increasingly be used to support business transactions within and across organisations. In order to achieve this goal, fundamental concepts of business practices should be incorporated into a supporting architecture. Support for business contracts can be regarded as an essential ingredient of such an architecture in terms of facilitating more efficient inter-organis...
متن کاملcoordination of protective schemes in distribution and subtransmission systems including distributed generation
نصب منابع پراکنده در سیستم های توزیع و فوق توزیع علاوه بر مزیت های فراوان، مشکلاتی را هم به همراه دارد. یکی از این مشکلات تأثیر این منابع روی اندازه جریان های اتصال کوتاه است. به طور معمول از حفاظت های مبتنی بر اصل جریان زیاد در سیستم های توزیع و فوق توزیع استفاده می شود. از مهمترین طرح های حفاظتی استفاده شده در فیدرهای توزیع، حفاظت فیوز- ریکلوزر است. همچنین از طرح های حفاظتی جریان زیاد جهتی در...
Dimensions for Reliability Contracts in Distributed Object Systems
Designing and managing distributed systems with predictable reliability and availability is generally difficult. Whenever components are specified, used, and managed it is often unclear what reliability requirements different components are expected to satisfy. The problem of specifying and satisfying reliability requirements needs to be addressed for many different situations and contexts. We ...
متن کاملThe Role of Contracts in Distributed Development
Distributed software development raises new software engineering challenges resulting from the difficulty of making several teams cooperate across different countries, time zones and cultures. These obstacles can lead to critical delays or even failures. One of the most effective techniques for overcoming them is to improve the quality of software specifications. Our experience with a distribut...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.59.11